2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Spatial Ecological-Economic Analysis for Wetland Management: Modelling and Scenario Evaluation of Land Use
Jeroen C. J. M. Bergh
,
Aat Barendregt
,
Alison J. Gilbert
Категория:
Экономика
12.74 Mb
#2
The lambda calculus: its syntax and semantics
Hendrik Pieter Barendregt
12.85 Mb
#3
The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
H.P. Barendregt
3.81 Mb
#4
The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
H.P. Barendregt
12.73 Mb
#5
Barendregt H. Lambda-ischislenie (Mir, 1985) (ru)(L)(T)(304s).djvu
6.37 Mb
#6
Barendregt H. Lambda-ischislenie (Mir, 1985) (ru)(L)(304s).djvu
5.03 Mb
#7
Introduction to Lambda calculus
Barendregt H.
,
Barendsen E.
Категория:
Computer science
,
Computability
251 Kb
#8
Lambda Calculi with Types
Barendregt H.
952 Kb
#9
Introduction to Lambda Calculus
Barendregt H.
,
Barendsen E.
578 Kb
#10
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Henk Barendregt
,
Tobias Nipkow
2.98 Mb